$\forall$$D_{1}$, $D_{2}$:dsys\{i:l\}. d{-}sub\{i:l\}($D_{1}$; $D_{2}$) $\in$ $\mathbb{P}$\{i'\}